281. Logic programming with Prolog
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Logic programming. ; Prolog (Computer program language) ;
282. Logic programming with Prolog
پدیدآورنده : / Max Bramer
کتابخانه: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)
موضوع : Logic programming,Prolog (Computer program language)
رده :
QA76
.
63
.
B73
2005
283. Logic programming with Prolog /
پدیدآورنده : Max Bramer
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Logic programming,Prolog (Computer program language)
رده :
QA76
.
63
284. LyaPAS . A Programming Language for Logic & Coding Algorithms
پدیدآورنده : by M. A. Gavrilov,& A.D. Zakervskii & Trans Morton ,Nadler
موضوع : Computing- Machines
۲ نسخه از این کتاب در ۱ کتابخانه موجود است.
285. Mathematical Aspects of Logic Programming Semantics
پدیدآورنده : / Hitzler, Pascal
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : COMPUTER SCIENCE, INFORMATION TECHNOLOGY
رده :
E-BOOK
286. Mathematical aspects of logic programming semantics
پدیدآورنده : / Pascal Hitzler, Anthony Seda
کتابخانه: Central Library and Archive Center of shahid Beheshti University (Tehran)
موضوع : Logic programming,Programming languages (Electronic computers),-- Semantics
رده :
005
.
115
H676M
2011
287. Mathematical logic and programming language
پدیدآورنده : Hoare, C. A. R.
کتابخانه: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
موضوع : ، Programming languages )Electronic computers(,، Logic, Symbolic and mathematical
رده :
QA
76
.
6
.
M3646
1985
288. Mathematical logic and programming languages
پدیدآورنده : edited by C.A.R. Hoare and J.C. Shepherdson
کتابخانه: Library of College of Science University of Tehran (Tehran)
موضوع : ، Programming languages )Electronic computers(,، Logic, Symbolic and mathematical
رده :
QA
76
.
6
.
M3646
1985
289. Mathematical logic and programming languages
پدیدآورنده : / Edited by C. A. R. Hoare, J. C. Shepherdson
کتابخانه: University of Tabriz Library, Documentation and Publication Center (East Azarbaijan)
موضوع : Programming languages (Electronic computers),Logic, symbolic and mathematical
رده :
QA76
.
6
.
M3646
1985
290. May 1, 2010, Revised Selected Papersع۰ب16, Dakar, Senegal, April 25-Logic for Programming, Artificial Intelligence, and Reasoning: 16th International Conference, LPAR
پدیدآورنده : / Geoff Sutcliffe (auth.), Edmund M. Clarke, Andrei Voronkov (eds.)
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : COMPUTER SCIENCE, SOFTWARE ENGINEERING|ENGINEERING, MULTIDISCIPLINARY
رده :
E-BOOK
291. Meta-programming in logic : Third International Workshop, META-92, Uppsala, Sweden, June 10-12, 1992: proceedings
پدیدآورنده : A. Pettorossi, ed
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Logic programming
رده :
QA
76
.
L28
Vol
.
649
292. Micro-PROLOG : programming in logic
پدیدآورنده : Clark, Keith L.
کتابخانه: Central Library and Documentation Center (Kerman)
موضوع : ، Micro - PROLOG )Computer program language(
رده :
QA
76
.
73
.
M5
C55
1983
293. Micro-PROLOG : programming in logic
پدیدآورنده : Clark, K. L.)Keith L.(
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، micro-PROLOG )Computer program language(
رده :
QA
76
.
73
.
M5
.
C55
1984
294. Micro - Prolog: Programming in logic
پدیدآورنده : Clark, K.L. )Keith L.(
کتابخانه: Central Library and Information Center of Birjand University (South Khorasan)
موضوع : ، Micro - Prolog )computer program language(
رده :
QA
76
.
73
.
M5
C55
1983
295. Micro-prolog : programming in logic
پدیدآورنده : Clark, Keith L.
کتابخانه: Central Library of Amirkabir University of Technology (Tehran)
موضوع : Micro-PROLOG )Computer program language(
رده :
QA
76
.
73
.
M5
C55
296. Microsoft Visual Basic Programs to Accompany Programming Logic and Design
پدیدآورنده : / Jo Ann Smith
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : COMPUTER SCIENCE, SOFTWARE ENGINEERING
رده :
E-BOOK
297. Natural language understanding and logic programming, II
پدیدآورنده : / edited by Veronica Dahl and Patrick Saint-Dizier
کتابخانه: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)
موضوع : Programming languages (Electronic computers)- Semantics- Congresses,Logic programming- Congresses
رده :
QA76
.
7
.
I578
1987
298. Natural language understanding and logic programming, II. : Proceedings of the...17-19 Aug., 1987
پدیدآورنده : edited by Veronica Dahl and Patrick Saint-Dizier
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Programming languages )Electronic computers( -- Semantics,Congresses ، Logic programming
رده :
QA
76
.
63
.
I58
1987
299. Natural language understanding and logic programming , III
پدیدآورنده : / edited by Charles Grant Brown, Gregers Koch
کتابخانه: Central Library and Documents Center of Tehran University (Tehran)
موضوع : Logic programming -- Congresses,Natural language processing(Computer science) -- Congresses
رده :
QA
76
.
63
.
I58
1991
300. Natural language understanding and logic programming, III : Proceedings of the third International Workshop on Natural Language Understanding and Logic Programming, Stockholm, Sweden, 23-25 Jan., 1991
پدیدآورنده : edited by Charles Grant Brown, Gregers Koch
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Logic programming,Congresses ، Natural language processing )Computer science(
رده :
QA
76
.
63
.
I58
1991
